Factorization systems as Eilenberg-Moore algebras
نویسندگان
چکیده
منابع مشابه
Exponential Kleisli Monoids as Eilenberg-Moore Algebras
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice.
متن کاملHsp Subcategories of Eilenberg-moore Algebras
Given a triple T on a complete category C and a factorization system E /M on the category of algebras, we show there is a 1-1 correspondence between full subcategories of the category of algebras that are closed under U -split epimorphisms, products, and M -subobjects and triple morphisms T S for which the induced natural transformation between free functors belongs to E .
متن کاملKleisli and Eilenberg-Moore Constructions as Parts of Biadjoint Situations
We consider monads over varying categories, and by defining the morphisms of Kleisli and of Eilenberg-Moore from a monad to another and the appropriate transformations (2-cells) between morphisms of Kleisli and between morphisms of Eilenberg-Moore, we obtain two 2-categories MndKl and MndEM. Then we prove that MndKl and MndEM are, respectively, 2-isomorphic to the conjugate of Kl and to the tra...
متن کاملEilenberg-moore Model Categories and Bousfield Localization
Talk 1: Big Goal of Alg Top, operads and model categories, fix notation for model categories, remarks about how difficult it is to verify model category axioms. Motivation from equivariant spectra, and discussion of Kervaire. Monoidal model categories, define the inherited model structure on the category of algebras over an operad. Basic facts about Bousfield localization. Preservation theorem ...
متن کاملEilenberg-Moore Monoids and Backtracking Monad Transformers
We develop an algebraic underpinning of backtracking monad transformers in the general setting of monoidal categories. As our main technical device, we introduce Eilenberg–Moore monoids, which combine monoids with algebras for strong monads. We show that Eilenberg–Moore monoids coincide with algebras for the list monad transformer (‘done right’) known from Haskell libraries. From this, we obtai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1993
ISSN: 0022-4049
DOI: 10.1016/0022-4049(93)90171-o